BODY {
	BACKGROUND: white; COLOR: black; FONT-FAMILY: sans-serif
}
P {
	TEXT-INDENT: 0em
}
CODE {
	BORDER-RIGHT: black thin solid; PADDING-RIGHT: 10pt; BORDER-TOP: black thin solid; DISPLAY: block; PADDING-LEFT: 10pt; PADDING-BOTTOM: 10pt; MARGIN: 2em; BORDER-LEFT: black thin solid; COLOR: black; PADDING-TOP: 10pt; BORDER-BOTTOM: black thin solid; WHITE-SPACE: pre; BACKGROUND-COLOR: #aaaaaa
}
IMG.floatleft {
	FLOAT: left; MARGIN-BOTTOM: 1em; MARGIN-RIGHT: 1em
}
IMG.floatright {
	FLOAT: right; MARGIN-BOTTOM: 1em; MARGIN-LEFT: 1em
}
DL {
	BORDER-RIGHT: black 1px solid; PADDING-RIGHT: 0.5em; BORDER-TOP: black 1px solid; PADDING-LEFT: 0.5em; PADDING-BOTTOM: 0.5em; BORDER-LEFT: black 1px solid; PADDING-TOP: 0.5em; BORDER-BOTTOM: black 1px solid; BACKGROUND-COLOR: #dddddd
}
DT {
	FONT-STYLE: italic
}
DD {
	MARGIN-BOTTOM: 1em
}
LI {
	MARGIN-BOTTOM: 0.5em
}
H2 {
	BORDER-RIGHT: black 1px solid; BORDER-TOP: black 1px solid; PADDING-LEFT: 0.2em; PADDING-BOTTOM: 0.15em; BORDER-LEFT: black 1px solid; BORDER-BOTTOM: black 1px solid; BACKGROUND-COLOR: #ccccff
}
H3 {
	MARGIN-BOTTOM: 0.5em
}
#coloredbox {
	BORDER-RIGHT: black 1px solid; PADDING-RIGHT: 10px; BORDER-TOP: black 1px solid; PADDING-LEFT: 10px; PADDING-BOTTOM: 10px; BORDER-LEFT: black 1px solid; PADDING-TOP: 10px; BORDER-BOTTOM: black 1px solid; BACKGROUND-COLOR: lightblue
}
.body-code-snippet {
	BORDER-RIGHT: black 1px solid; PADDING-RIGHT: 15px; BORDER-TOP: black 1px solid; PADDING-LEFT: 5px; PADDING-BOTTOM: 10px; BORDER-LEFT: black 1px solid; PADDING-TOP: 10px; BORDER-BOTTOM: black 1px solid; BACKGROUND-COLOR: #ccccff
}
UNKNOWN {
	COLOR: darkgreen
}
.body-code-snippet-caption {
	BORDER-RIGHT: black 1px solid; PADDING-RIGHT: 5px; BORDER-TOP: black 1px solid; PADDING-LEFT: 5px; LEFT: 0.5em; MARGIN-LEFT: 10px; BORDER-LEFT: black 1px solid; MARGIN-RIGHT: 10px; BORDER-BOTTOM: black 1px solid; POSITION: relative; TOP: 0.5em
}
menuitem {
	PADDING-RIGHT: 5px; PADDING-LEFT: 5px
}
menuitem:hover {
	BACKGROUND-COLOR: yellow
}
submenuitem {
	PADDING-RIGHT: 5px; PADDING-LEFT: 5px; MARGIN-LEFT: 1em
}
submenuitem:hover {
	BACKGROUND-COLOR: yellow
}
